Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
21	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:18:46 Programming paradigms Computing Technical University of Denmark Interface MRH Abstraction Modular programming Functional programming
22	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
23	HabaneroUPC++: a Compiler-free PGAS Library ∗ Vivek Kumar† , Yili Zheng‡ , Vincent Cavé† , Zoran Budimli´c† , and Vivek Sarkar† † Rice Add to Reading List Source URL: nic.uoregon.edu Language: English - Date: 2014-10-08 11:47:00 Software engineering Computing Computer programming Parallel computing Concurrent programming languages Control flow Programming paradigms Functional languages Await Futures and promises Concurrent computing Partitioned global address space
24	Evaluation of PGAS Communication Paradigms with Geometric Multigrid Hongzhang Shan, Amir Kamil, Samuel Williams, Yili Zheng, Katherine Yelick Computational Research Division Lawrence Berkeley National Laboratory, Berkele Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2015-01-12 18:45:21 Computing Computer programming Parallel computing Software engineering Application programming interfaces Partitioned global address space Universal Product Code OpenMP Global Arrays Granularity Message Passing Interface Unified Parallel C
25	Extended Analysis based on the SPES Architecture Meta-Model Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Engineering Technology Computing Programming paradigms Real-time computing Scheduling algorithms Abstraction Data management Systems engineering Object Process Methodology Worst-case execution time Scheduling
26	Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2008-10-06 13:11:44 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Concurrent programming languages Programming paradigms Scripting languages Aspect-oriented software development Object-oriented programming Feature model Objective-C
27	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
28	Programmatic Semantics for Natural Language Interfaces Hugo Liu MIT Media Laboratory 20 Ames Street 320D, Cambridge, MA USA ABSTRACT Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2005-09-14 18:06:23 Software engineering Computer programming Computing Programming paradigms Human communication METAFOR Programming language Semantics Procedural programming Object-oriented programming Actor model User interface
29	Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2015-12-26 16:04:57 Education Software engineering Educational psychology Programming paradigms Computer programming Educational technology Intelligent tutoring system Exercise Functional programming Programming language Prolog
30	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM

UPDATE